Optimal. Leaf size=51 \[ \frac{2}{7} a^3 x^{7/2}+\frac{2}{5} a^2 c x^{15/2}+\frac{6}{23} a c^2 x^{23/2}+\frac{2}{31} c^3 x^{31/2} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0374547, antiderivative size = 51, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.067 \[ \frac{2}{7} a^3 x^{7/2}+\frac{2}{5} a^2 c x^{15/2}+\frac{6}{23} a c^2 x^{23/2}+\frac{2}{31} c^3 x^{31/2} \]
Antiderivative was successfully verified.
[In] Int[x^(5/2)*(a + c*x^4)^3,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 5.75007, size = 49, normalized size = 0.96 \[ \frac{2 a^{3} x^{\frac{7}{2}}}{7} + \frac{2 a^{2} c x^{\frac{15}{2}}}{5} + \frac{6 a c^{2} x^{\frac{23}{2}}}{23} + \frac{2 c^{3} x^{\frac{31}{2}}}{31} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x**(5/2)*(c*x**4+a)**3,x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0169959, size = 51, normalized size = 1. \[ \frac{2}{7} a^3 x^{7/2}+\frac{2}{5} a^2 c x^{15/2}+\frac{6}{23} a c^2 x^{23/2}+\frac{2}{31} c^3 x^{31/2} \]
Antiderivative was successfully verified.
[In] Integrate[x^(5/2)*(a + c*x^4)^3,x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.009, size = 38, normalized size = 0.8 \[{\frac{1610\,{c}^{3}{x}^{12}+6510\,a{c}^{2}{x}^{8}+9982\,{a}^{2}c{x}^{4}+7130\,{a}^{3}}{24955}{x}^{{\frac{7}{2}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x^(5/2)*(c*x^4+a)^3,x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.41485, size = 47, normalized size = 0.92 \[ \frac{2}{31} \, c^{3} x^{\frac{31}{2}} + \frac{6}{23} \, a c^{2} x^{\frac{23}{2}} + \frac{2}{5} \, a^{2} c x^{\frac{15}{2}} + \frac{2}{7} \, a^{3} x^{\frac{7}{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((c*x^4 + a)^3*x^(5/2),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.223929, size = 54, normalized size = 1.06 \[ \frac{2}{24955} \,{\left (805 \, c^{3} x^{15} + 3255 \, a c^{2} x^{11} + 4991 \, a^{2} c x^{7} + 3565 \, a^{3} x^{3}\right )} \sqrt{x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((c*x^4 + a)^3*x^(5/2),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x**(5/2)*(c*x**4+a)**3,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.21395, size = 47, normalized size = 0.92 \[ \frac{2}{31} \, c^{3} x^{\frac{31}{2}} + \frac{6}{23} \, a c^{2} x^{\frac{23}{2}} + \frac{2}{5} \, a^{2} c x^{\frac{15}{2}} + \frac{2}{7} \, a^{3} x^{\frac{7}{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((c*x^4 + a)^3*x^(5/2),x, algorithm="giac")
[Out]